MonHom($M_{1}$,$M_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$f$:$\mid$$M_{1}$$\mid\rightarrow\mid$$M_{2}$$\parallel$ IsMonHom\{$M_{1}$,$M_{2}$\}($f$)\}